COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(declare 
C00003 ENDMK
C⊗;
(declare 
 (fixnum (tak fixnum fixnum fixnum)))

(defun tak (x y z)
 (*catch 'tak (tak1 x y z)))

(defun tak1 (x y z)
       (cond ((not (< y x))	;x≤y
	      (*throw 'tak z))
	     (t (tak1
		 (*catch 'tak
			 (tak1 (1- x)
			       y
			       z))
		 (*catch 'tak
			 (tak1 (1- y)
			       z
			       x))
		 (*catch 'tak
			 (tak1 (1- z)
			       x
			       y))))))

(include "timer.lsp")
(timer timit (tak 18. 12. 6.))